军队工程招标激励模型研究

运用激励理论研究了军队工程招标采购过程中军方与承包商之间的关系,建立了军队工程招标激励模型。在不完全信息和竞争性招标中,投标人的行为是追求最大的效用,军方则需要建立一种机制诱使投标人按真实成本信息报价,以达到预期支付最小的目的。这种招标博弈的结果是军方与投标人之间达成贝叶斯纳什均衡(Bayesian Nash equilib- rium),即军方利用激励合同诱使投标人报出其真实成本,而投标人为达到中标目的则必须采取讲真话的占优策略,最终在双方均可接受的条件下达成协议。在此基础上,结合实际研究提出了改进的综合评标模型。     

纯方位系统TMA非线性最小二乘法--工程数学模型与算法

在纯方位系统目标运动分析(TMA)众多方法中,非线性最小二乘法是较为实用的一种,由于其理论模型与选配的常规算法,在工程实施中仍嫌繁琐,因此,给出了线性化的最小二乘法,建立了工程数学模型与算法,并深入地研究了它的初值选取问题.最后,得出了非线性最小二乘法应用于纯方位系统TMA问题的研究结论.     

Subspace dynamic‐simplex linear interpolation search for mixed‐integer black‐box optimization problems

Design and management of complex systems with both integer and continuous decision variables can be guided using mixed‐integer optimization models and analysis. We propose a new mixed‐integer black‐box optimization (MIBO) method, subspace dynamic‐simplex linear interpolation search (SD‐SLIS), for decision making problems in which system performance can only be evaluated with a computer black‐box model. Through a sequence of gradient‐type local searches in subspaces of solution space, SD‐SLIS is particularly efficient for such MIBO problems with scaling issues. We discuss the convergence conditions and properties of SD‐SLIS algorithms for a class of MIBO problems. Under mild conditions, SD‐SLIS is proved to converge to a stationary solution asymptotically. We apply SD‐SLIS to six example problems including two MIBO problems associated with petroleum field development projects. The algorithm performance of SD‐SLIS is compared with that of a state‐of‐the‐art direct‐search method, NOMAD, and that of a full space simplex interpolation search, Full‐SLIS. The numerical results suggest that SD‐SLIS solves the example problems efficiently and outperforms the compared methods for most of the example cases. © 2017 Wiley Periodicals, Inc. Naval Research Logistics 64: 305–322, 2017     

基于HAZOP法的飞行冲突故障树的建立

针对故障树的建立中所存在的主观性、覆盖性、以及模糊性等问题,提出了一种基于HAZOP法来建立进近和离场期间飞行冲突故障树的方法。通过引导词与航管参数的排列组合确定偏差,然后以偏差事件为节点,分析产生偏差的原因和造成的结果并构建故障树,最后对故障树进行定性定量分析。并以美国两架民航客机在机场上空发生的飞行冲突示例了完整的建模过程。结果表明所建立的故障树在能准确分析飞行冲突成因的基础上,较好地解决传统FTA所存在的局限性。     

Countering the effects of IED systems in Afghanistan: an integral approach

The current approach to countering the threat of improvised explosive devices (IEDs) in Afghanistan has met with limited success. The relative lack of success may be in part because the current approach is not holistic and discounts the social systems that foster the IEDs. Insurgents are using IEDs as a tool to further their strategic aims, but the coalition and to a lesser extent the Government of the Islamic Republic of Afghanistan (GIRoA) are attacking the IEDs as if they are an end in and of themselves. Combining network disruption with information change maximizes the opportunities for mitigating the IED threat. More specifically, to mitigate the IED threat requires disrupting the social and economic systems associated with IEDs, and at the same time providing alternative economic opportunities and improving rule of law and governance at the local level. In other words, counter-IED (C-IED) must be Counter-Insurgency (COIN) centric to be successful. This paper reviews the current state of C-IED efforts, identifies five main problems with the current approach, and suggests changes to reduce or mitigate the IED threat in Afghanistan.     

Component importance for linear consecutive‐ k ‐Out‐of‐ n and m ‐Consecutive‐ k ‐Out‐of‐ n systems with exchangeable components

Measuring the relative importance of components in a mechanical system is useful for various purposes. In this article, we study Birnbaum and Barlow‐Proschan importance measures for two frequently studied system designs: linear consecutive k ‐out‐of‐ n and m ‐consecutive‐ k ‐out‐of‐ n systems. We obtain explicit expressions for the component importance measures for systems consisting of exchangeable components. We illustrate the results for a system whose components have a Lomax type lifetime distribution. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

South Africa's arsenal of terrorism legislation

After only ten years in existence, the African Union (AU) has already made its mark on the landscape of peace and security in Africa. This paper seeks to explore the relationship between the AU's leading collaborative interstate security policy, the African Peace and Security Architecture (APSA), and sustainable peace in the Horn of Africa. It examines four countries – Djibouti, Eritrea, Ethiopia, and Kenya – and how engaging with the APSA through early warning systems can contribute to developing the elements necessary for sustainable peace, namely regional stability, conflict management, and good governance.     

基于战法仿真综合集成研讨厅的专家行为研究

针对战法仿真实验的复杂性及其仿真可信度要求,结合基于战法仿真实验的综合集成研讨厅平台,分析了专家在战法仿真实验中的地位和作用,研究提出了仿真实验中专家的行为要求和规范,为基于战法仿真综合集成研讨厅的创新应用提供了理论和方法。经应用证明,该方法可以有效地提高战法仿真过程的透明度和仿真实验结果的可信度。具有很强的适应性和实用性。     

基于ANSYS的舰船武器装备基准变化分析方法

舰船武器装备基准在外界环境作用下产生变化,从而影响武器系统的打击精度。应用ANSYS平台建立舰船有限元模型,利用三维波浪载荷的计算方法模拟航行条件下的波浪力,研究了舰船甲板面武器装备基准在两种极限海况下的变化情况,发现针对此类舰船横摇使武器装备基准产生较大的变化,并且靠近尾部和两舷位置处装备的基准变化较为显著。仿真结果表明：当舰船在风浪中航行使用武器系统时,应尽量采取顶浪航行,减少舰船横摇对武器系统基准的影响。     

防空兵武器装备发展论证专家系统的开发

首先阐明了防空兵武器装备发展论证专家系统开发的目标任务和建造原则,然后建立了专家系统的一般结构,并论述了系统开发过程中的问题定义与系统分析、知识获取、知识表示、软件实现、系统测试与评价等各个环节所应完成的任务,指出了在专家系统开发过程中潜在的主要问题。对于建立一个完备的、权威的防空兵武器装备发展论证专家系统有一定的指导意义。